int rtcdemo_main();